CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 5 of 5 Results
1.
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, ...
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, ... by Liu, Zhiming, Ravn, Anders P. ISBN: 9783642047602 List Price: $95.00
$51.31 (Save 45%)
2.
Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, Ftrtf...
Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, Ftrtf... by Ravn, Anders P., Rischel, H... ISBN: 9783540650034 List Price: $69.95
$52.33 (Save 25%)
3.
Hybrid Systems
Hybrid Systems by Grossman, Robert L., Nerode... ISBN: 9783662191781 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
4.
Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems by Ravn, Anders P., Rischel, Hans ISBN: 9783662206171 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
5.
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedde...
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedde... by Ravn, Anders P. ISBN: 9781450307314 List Price: $99.00

OUT OF STOCK

See Availability on Amazon